41. Categorical methods in computer science : with aspects from topology
Author: / H. Ehrig ... (et al.), eds
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories (Mathematics) - Congresses,Topology - Congresses
Classification :
QA
75
.
5C36
1989
42. Categorical methods in computer science : with aspects from topology
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Categories )Mathematics( - Congresses,، Topology - Congresses
Classification :
QA
75
.
5
.
C36
1989
43. Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
Author: John W. Gray and Andre Scedrov, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
9
.
M35A57
1987
44. Categories in computer science and logic :
Author: John W. Gray and Andre Scedrov, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.
Classification :
QA76
.
9
.
M35
A47
1987
45. Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
Classification :
QA
76
.
9
.
M35
.
A47
1987
46. Category theory and computer science :
Author: Eugenio Moggi, Giuseppe Rosolini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
Classification :
QA76
.
9
.
M35
C38
1997
47. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
48. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
Classification :
QA
75
.
5
.
S86
1991
49. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author: / D.H. Pitt ... (et al.) (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories (Mathematics) - Congresses
Classification :
QA75
.
5
.
S86
1991
50. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
530
51. Category theory and computer science: Paris, France, September 3-6, 1991 : proceedings
Author: / D.H. Pitt ... [et al.] (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science- Congresses,Categories (Mathematics)- Congresses
Classification :
QA75
.
5
.
S86
1991
52. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
Author: Eugenio Moggi, Giuseppe Rosolini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
1290
53. Cellular Automata and Discrete Complex Systems
Author: \ [Edited by] Teijiro Isokawa...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
54. Cellular Automata and Discrete Complex Systems
Author: \ Jarkko Kari (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
55. Cellular automata and discrete complex systems :
Author: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
Classification :
QA267
.
5
.
C45
56. Cellular automata and discrete complex systems :
Author: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
Classification :
QA267
.
5
.
C45
57. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
58. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
59. Coalgebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
60. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
